2941. Word equations and related topics : Second International Workshop, IWWERT'91, Rouen, France, October 7-9, 1991 : proceedings
پدیدآورنده : Habib Abdulrab, Jean-Pierre Pecuchet, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Group theory
رده :
QA
76
.
L28
Vol
.
677
2942. Word equations and related topics: 1st International Workshop, IWWERT '90, Tubingen, Germany, October1-3, 1990: proceedings
پدیدآورنده : K.U. Schulz )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Group theory
رده :
QA
76
.
L28
Vol
.
572
2943. Word equations and related topics : 1st international workshop, IWWERT '90, Tubingen, Germany, October 1-3, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Natural language processing )Computer science(-- Congresses,، Group theory-- Congresses
رده :
QA
76
.
9
.
N38
.
I94
1990
2944. Workshop on Chaos and Complexity : Torino, october 5-11, 1987
پدیدآورنده : editors R. Livi...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Differentiable dynamical systems,Congresses ، Cellular automata,Congresses ، Neural networks )Computer science(
رده :
QA
614
.
8
.
W665
1987
2945. XPS'99 : Knowledge-based systems : survey and future decisions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 1999 : proceedings
پدیدآورنده : Frank Puppe )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1570
2946. based cryptography :-Code
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science) ; Congresses. ;
2947. based distributed systems-Formal methods for open object
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; Congresses. ; -Electronic data processing ; Distributed processing ; Congresses. ; Object
2948. based reasoning :-Advances in case
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : based reasoning ; Congresses ; -Expert systems (Computer science) ; Congresses ; Case
2949. based reasoning-Advances in case
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : based reasoning ; Congresses. ; -Expert systems (Computer science) ; Congresses. ; Case
2950. based reasoning research and development-Case
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : based reasoning ; Congresses. ; Artificial Intelligence ; Congresses. ; -Expert systems (Computer science) ; Congresses. ; Case
2951. based safety and assessment :-Model
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ;
2952. based software engineering :-Search
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ;
2953. based systems :-Information processing and management of uncertainty in knowledge
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Expert systems (Computer science) ; Congresses. ;
2954. based systems :-Information processing and management of uncertainty in knowledge
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Expert systems (Computer science) ; Congresses. ;
2955. based systems :-Information processing and management of uncertainty in knowledge
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Expert systems (Computer science) ; Congresses. ;
2956. business management-Sustainable e
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented architecture (Computer science) ; Congresses. ; -Electronic commerce ; Management ; Congresses. ; Service
2957. challenges and applications--Trusted computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer security ; Congresses. ; Data encryption (Computer science) ; Congresses. ; Public key infrastructure (Computer security) ; Congresses. ;
2958. channel analysis and secure design :-Constructive side
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Data encryption (Computer science) ; Congresses. ;
2959. concurrency theory-Concur 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ; Parallel programming (Computer science) ;
2960. critical systems :-Formal techniques for safety
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
